$\forall$$A$:MsgA.  $\parallel$ $A$